ALGOL 68 - PDFSEARCH.IO - Document Search Engine

ALGOL 68
Results: 3011

#	Item
191	The Machine SUIF Bit-Vector Data-Flow-Analysis Library Release versionGlenn Holloway and Allyn Dimock {holloway,dimock}@eecs.harvard.edu Division of Engineering and Applied Sciences Harvard University Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2002-07-15 23:53:26 Procedural programming languages Compiler construction Data-flow analysis Network flow Sequence container C Live variable analysis Flow network ALGOL 68 Programming language theory Computing Software engineering
192	A motorised fluorescence cube linear positioner 1. Introduction Fluorescence microscopes require fluorescence ‘cubes’, i.e. assemblies of excitation, dichromatic and emission filters and automated microscopes require Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2011-10-03 07:03:31 Procedural programming languages I²C NOP ALGOL 68 C++11 Circular buffer C Computing Software engineering Programming language theory
193	Containment and Complementarity Relationships in Multidimensional Linked Open Data Marios Meimaris and George Papastefanatos Institute for the Management of Information Systems, Research Center “Athena”, Greece {m.me Add to Reading List Source URL: semstats2014.files.wordpress.com Language: English - Date: 2014-10-17 06:29:24 Online analytical processing Information OLAP cube Dimension Matrix ALGOL 68 Representation Data warehousing Data Information technology management
194	BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Modularity in Meta-Languages Modularity in Meta-Languages Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-02-26 07:20:40 Programming language semantics Procedural programming languages Logic in computer science Denotational semantics ALGOL 68 Standard ML Operational semantics Programming language IMP programming language Programming language theory Software engineering Theoretical computer science
195	DOCX Document Add to Reading List Source URL: www.sem-o.com Language: English Procedural programming languages C++ C++ classes C Telecommunications data retention ALGOL 68 Subroutine Computer programming Software engineering Computing
196	2009 Paper 5 Question 2 Compiler Construction Consider an ML-like language in which the set of values includes functions and these functions may have nested definitions. (a) Explain how a function value may be represent Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:31 C++ Data types Procedural programming languages Cross-platform software Type theory Scope Variable Reference ALGOL 68 Software engineering Computing Computer programming
197	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
198	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue and Jacques Le Normand 1 Synopsys Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-05-19 19:25:32 Functional languages Procedural programming languages Type theory Data types OCaml Type system ALGOL 68 ML Caml Software engineering Programming language theory Computing
199	Challenges and Opportunities for Intelligibility and Control in Smart Homes Jo Vermeulen Russell Beale Add to Reading List Source URL: zpac.ch Language: English - Date: 2015-03-08 17:38:54 Software engineering Ambient intelligence Context-aware pervasive systems Ubiquitous computing Smart device ALGOL 68 Usability Computing Human–computer interaction Programming language theory
200	EN Official Journal of the European Union Add to Reading List Source URL: www.rtd.si Language: English - Date: 2010-08-16 05:23:27 Framework Programmes for Research and Technological Development European Cooperation in Science and Technology CORDIS European Union Software engineering RTD Bus & Light Rail Evaluation ALGOL 68 Virtual Physiological Human Europe Science and technology in Europe Programming language theory

UPDATE